\chapter{Anhang (PNML- und Attributreferenz)}

\begin{table}[h]
	\centering
	\captionbelow{PNML eines Petrinetzes}
	\begin{tabular}{|l|p{4.8cm}|p{6.8cm}|}
		\hline
		\textbf{Knoten} & \textbf{Attribut} & \textbf{Kindsknoten}\\
		\hline
		pnml & & net\\
		\hline
		net & id, type=``CPnet'' & name, place, transition, arc\\
		\hline
	\end{tabular}
\end{table}

\begin{table}[h]
	\centering
	\captionbelow{PNML einer Stelle}
	\begin{tabular}{|l|p{4.8cm}|p{6.8cm}|}
		\hline
		\textbf{Knoten} & \textbf{Attribut} & \textbf{Kindsknoten}\\
		\hline
		place & id & name, toolspecific\\
		\hline
		toolspecific & tool=``Petri Net Engine'', version=``1.0'' & external?, locator*\\
		\hline
		external & type (``push'' | ``pull''), href (xsd:anyURI) & \\
		\hline
		locator & & name, type, expr\\
		\hline
		name & & PCDATA\\
		\hline
		type & & QName\\
		\hline
		expr & & XPath\\
		\hline
	\end{tabular}
\end{table}

\begin{table}[h]
	\centering
	\captionbelow{PNML einer Transition}
	\begin{tabular}{|l|p{4.8cm}|p{6.8cm}|}
		\hline
		\textbf{Knoten} & \textbf{Attribut} & \textbf{Kindsknoten}\\
		\hline
		transition & id & name, toolspecific\\
		\hline
		toolspecific & tool=``Petri Net Engine'', version=``1.0'' & output?, fire?, guard?\\
		\hline
		guard & & expr? \\
		\hline
		expr & & PCDATA\\
		\hline
		fire & type(``automatic''|``manual''), href?(xsd:anyURI) & \\
		\hline
		output & & model?, form? \\
		\hline
		model & href (xsd:anyURI) & \\
		\hline
		form & href (xsd:anyURI) & \\
		\hline
	\end{tabular}
\end{table}

\begin{table}[h]
	\centering
	\captionbelow{PNML einer Kante}
	\begin{tabular}{|l|p{4.8cm}|p{6.8cm}|}
		\hline
		\textbf{Knoten} & \textbf{Attribut} & \textbf{Kindsknoten}\\
		\hline
		arc & id, source(IDREF), target(IDREF) & transformation?\\
		\hline
		transformation & href (xsd:anyURI) & \\
		\hline
	\end{tabular}
\end{table}